continuous open mapping

[数] 连续开映射